<!DOCTYPE html>
<html>
<head>
<style>
.code {
	white-space: pre-wrap;
	font-family: monospace;
	width: 100%;
}

.miss {
	background-color: #FF0000;
}

.hit, .undef {
	background-color: #94FF7C;
}
</style>
</head>
<body>COLORIZED_LINE_HTML

</body>
</html>

